Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
971	Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Applied mathematics Formal methods Isabelle Logic for Computable Functions HOL B-Method Vampire Rodin Theorem prover Theoretical computer science Mathematical software Logic in computer science
972	The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-04-17 12:15:00 Theoretical computer science Denotational semantics Logic in computer science Dynamical system Continuous function State space Itō diffusion Mathematical analysis Mathematics Control theory
973	h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 10 ❖ Add to Reading List Source URL: www.nondot.org Language: English - Date: 2001-03-26 23:04:40 Logic in computer science Programming language semantics Quotient Remainder Divisor Denotational semantics Operational semantics Function Axiomatic semantics Mathematics Theoretical computer science Division
974	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
975	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
976	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
977	Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:16 Logic in computer science Mathematical logic Type theory Dependently typed programming Higher-order functions Append Curry–Howard correspondence Curry Structural induction Software engineering Computing Computer programming
978	Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2005-05-27 05:14:47 Philosophical logic Logic in computer science Model theory Modal logic First-order logic Stable model semantics Intuitionistic logic Propositional calculus Theorem Logic Mathematical logic Non-classical logic
979	Equivalences for Fair Kripke Structures Adnan Aziz∗ Robert Brayton‡ Felice Balarin† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2005-09-23 01:02:50 Mathematical logic Mathematics Computation tree logic Bisimulation Kripke structure Model theory Equivalence relation CTL* Fair computational tree logic Temporal logic Logic in computer science Theoretical computer science
980	An Analysis of Mobile Robot Navigation Algorithms in Unknown Environments James Ng This thesis is presented for the degree of Add to Reading List Source URL: robotics.ee.uwa.edu.au Language: English - Date: 2010-09-11 10:17:14 Search algorithms Robot control Algorithm Mathematical logic Mobile robot Motion planning Robot D* Software bug Theoretical computer science Mathematics Applied mathematics